s expression is clear